package K defined by SIMULATION-PACKAGES and DEF-CORR-PKG
GLOBAL:SETF redefined by K;NEW-SETF
SYMBOL:GETF defined by K;LI-FAKES redefined by K;NEW-SETF-MACROS
PRIMITIVE-SETF exports DECF,INCF in PRIMITIVES conflict with LI
DEFSTRUCT defined by LI-FAKES redefined by DEFSTRUCT
DEBUG-SLOT defined by LAMBDA-DIAG;LMI-DEBUG-METHODS redefined by KBUG;DEBUG-BOARD
MAP-STATUS-VALUES by KBUG and KBUG2
SAVING-CURRENT-K-PC by KBUG;DEBUG-SUPPORT and KBUG2;KBUG-GENERIC
